21. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
22. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Donald Estep, Claes Johnson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
23. Applied Mathematics: Body and Soul
پدیدآورنده : by Kenneth Eriksson, Claes Johnson, Donald Estep.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemistry-- Mathematics.,Computer science-- Mathematics.,Engineering mathematics.,Global analysis (Mathematics).,Mathematical physics.,Mathematics.,Matrix theory.
24. Applied deep learning :
پدیدآورنده : Umberto Michelucci.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Machine learning.,Neural networks (Computer science),Computer programming-- software development.,COMPUTERS-- General.,Databases.,Machine learning.,Neural networks (Computer science),Program concepts-- learning to program.,Programming & scripting languages: general.
رده :
Q325
.
5
25. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
26. Automated Deduction -- CADE-12 :
پدیدآورنده : edited by Alan Bundy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
27. Automated Mathematical Induction
پدیدآورنده : edited by Hantao Zhang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
QA76
.
9
.
A96
E358
1996
28. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
29. Automated reasoning with analytic tableaux and related methods :
پدیدآورنده : Didier Galmiche, Dominique Larchey-Wendling (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
30. Automatic differentiation of algorithms :
پدیدآورنده : George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët, Uwe Naumann, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential calculus -- Data processing -- Congresses.,Differential calculus -- Data processing.
رده :
QA304
.
G467
9999
31. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
32. Baltic Computer Science :
پدیدآورنده : by Janis Barzdins, Dines Bjorner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
B953
1991
33. CAAP '81 :
پدیدآورنده : ed. by E. Astesiano and C. Böhm.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Grafentheorie.
34. Calculus for computer graphics /
پدیدآورنده : John Vince.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calculus.,Computer graphics-- Mathematics.,Calculus.,Computer graphics-- Mathematics.
رده :
T385
35. Catalogue of Artificial Intelligence Tools
پدیدآورنده : edited by Alan Bundy, Lincoln Wallen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
36. Collegium Logicum.
پدیدآورنده : Kurt-Gödel-Gesellschaft
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
37. Commonsense reasoning /
پدیدآورنده : Erik T. Mueller.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
رده :
Q338
.
85
.
M84
2006eb
38. Communication and concurrency /
پدیدآورنده : Robin Milner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.,Machine theory.,Operating systems (Computers).,Parallélisme (Informatique),Systèmes d'exploitation (Ordinateurs)-- Logiciels.,Betriebssystem,Betriebssystem.,Formal languages.,Kommunikationssystem,Kommunikationssystem.,Machine theory.,Parallelverarbeitung,Programmierung,Verteiltes System
رده :
QA267
.
M533
1989
39. Complex surveys :
پدیدآورنده : Thomas Lumley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical statistics-- Data processing.,R (Computer program language),Data Collection.,Statistics as Topic.,Datenanalyse,Mathematical statistics-- Data processing.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,R,R (Computer program language),Statistik
رده :
QA276
.
45
.
R3
L86
2010eb
40. Compressed sensing for privacy-preserving data processing /
پدیدآورنده : Matteo Testa, Diego Valsesia, Tiziano Bianchi, Enrico Magli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Compressed sensing (Telecommunication),Calculus of Variations and Optimal Control; Optimization.,Data Structures, Cryptology and Information Theory.,Privacy.,Signal, Image and Speech Processing.,Algorithms & data structures.,Calculus of variations.,Compressed sensing (Telecommunication),Imaging systems & technology.,Privacy & data protection.,TECHNOLOGY & ENGINEERING / Mechanical.
رده :
TK5102
.
9